
int scheduler_set_ticker(int t);
int scheduler_read_ticker(void);
void scheduler_set_tickspersecond(int ts);
int scheduler_read_tickspersecond(void);
void scheduler_flush_buffer(void);
int schedule_event(int cmd0, int cmd1, int when);
int scheduler_increment_ticker(int t, int de);
int scheduler_info(int *available, int *first, int *last, int *size, int *tv, int *tps);
